/* ================================================================ */
/* IDispatch.h                                                      */
/* Usage: Provide interface for kernel message dispatcher           */ 
/* Create Date: 2008-06-30											*/
/* Creator: MaJiuyue        										*/
/* Interface:														*/
/*	  void processKernelMSG(pid_t from, message * msg)              */
/* ================================================================ */
#ifndef _IDispatch_H_
#define _IDispatch_H_

#include <ipc.h>

class IDispatch
{
public:
	virtual void processKernelMSG(pid_t from, message * msg)=0;
};

#endif

